Logika - Vizsga Feladat - Prolog 3.